#include "driver/gpio.h"

void turn_on();
void turn_off();
void led_init(gpio_num_t pin);